Modern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 19th Brazilian Symposium on Artificial Intelligence, SBIA 2008, held ...
اقرأ المزيدThis collection covers advances in automatic differentiation theory and practice. Computer scientists and mathematicians ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 9th European Conference on Case-Based Reasoning, ECCBR 2008, held in ...
اقرأ المزيدAdvances in Design and Specification Languages for Embedded Systems is the latest contribution to the Chip Design Languages ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 6th International Conference on Natural Language Processing, GoTAL ...
اقرأ المزيدThis tutorial presents a collection of research papers on themes discussed at the Lipari Summer School on Advances in Software ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 7th International Conference on Web-Based Learning, ICWL 2008, held ...
اقرأ المزيدCALCO, the Conference on Algebra and Coal-gebra in Computer Science, was created to bring together researchers ...
اقرأ المزيدThis Festschrift volume - published to honor Joseph Goguen on his 65th Birthday on June 28, 2006 - includes 32 refereed papers ...
اقرأ المزيدThis is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software ...
اقرأ المزيدThis book is a concise introduction addressed to students and professionals familiar with programming and basic mathematical ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Applications ...
اقرأ المزيدFocuses on the fundamental concepts and at the same time on practical aspects of implementing neural networks and deep learning ...
اقرأ المزيدIntroduces readers to various topics and examples of programming in Python, as well as key concepts in artificial intelligence. ...
اقرأ المزيدCovers the internals of front and back propagation and helps you understand the main principles of neural network processing. ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
اقرأ المزيدThis work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the ...
اقرأ المزيدTakes a humorous slant on the programming practice manual by reversing the usual approach: under the pretence of teaching ...
اقرأ المزيد